Continuity, freeness, and filtrations

نویسنده

  • Silvio Ghilardi
چکیده

The role played by continuous morphisms in propositional modal logic is investigated: it turns out that they are strictly related to filtrations and to suitable variants of the notion of a free algebra. We also employ continuous morphisms in the incremental construction of (standard) finitely generated free S4-algebras. This Technical Report reproduces the content of my talk given at the workshop on Topological Methods in Logic, held in Tbilisi, June 2010; it is also the preliminary version of a paper to appear in the ‘birthday’ special issue of the Journal of Applied Non Classical Logics.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Carthaginian Enlargement of Filtrations ∗ . †

In this work, we revisit some well-known results in the theory of initial and progressive enlargement of a reference filtration F with a random time τ , providing, under an equivalence assumption slightly stronger than the absolute continuity assumption of Jacod, alternative proofs to the already existing ones. We also characterize martingales in the enlarged filtrations in terms of martingales...

متن کامل

Asymptotic behaviour of tame harmonic bundles and an application to pure twistor D-modules

We study the asymptotic behaviour of tame harmonic bundles. First of all, we prove a local freeness of the prolongation by an increasing order. Then we obtain the polarized mixed twistor structure. As one of the applications, we obtain the norm estimate of holomorphic or flat sections by weight filtrations of the monodromies. As other application, we establish the correspondence of tame harmoni...

متن کامل

An Edge-Signed Generalization of Chordal Graphs, Free Multiplicities on Braid Arrangements, and Their Characterizations

In this article, we propose a generalization of the notion of chordal graphs to signed graphs, which is based on the existence of a perfect elimination ordering for a chordal graph. We give a special kind of filtrations of the generalized chordal graphs, and show a characterization of those graphs. Moreover, we also describe a relation between signed graphs and a certain class of multiarrangeme...

متن کامل

Partially Hyperbolic Dynamical Systems

15 3. Stable and unstable filtrations 17 3.1. Existence and subfoliation 17 3.2. Absolute continuity 19 4. Central Foliations 21 4.1. Normal hyperbolicity 21 4.2. Integrability of the central foliation and dynamical coherence 23 4.3. Smoothness of central leaves via normal hyperbolicity 25 4.4. Robustness of the central foliation 26 5. Intermediate Foliations 27 5.1. Nonintegrability of interme...

متن کامل

Slope Filtrations in Families

In [1], Berger and Colmez introduced a theory of families of étale (φ,Γ)-modules associated to families of p-adic Galois representations. Inspired by their works, we consider families of φ-modules over a reduced affinoid algebra where the base is fixed by Frobenius actions. We prove some results in this framework including the semicontinuity of variation of HN-polygons. These results will be ap...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • Journal of Applied Non-Classical Logics

دوره 20  شماره 

صفحات  -

تاریخ انتشار 2010